"有个人的外祖母是妈妈的妈妈"用谓词逻辑表示
来源:百度知道 编辑:UC知道 时间:2024/07/05 06:37:16
离散问题
一阶逻辑谓词还是二阶逻辑谓词?
二阶逻辑谓词的比较好写:(用E表示存在)
P(x)表示是x的妈妈,Q(x)表示是x的外祖母
Ex(Q(x))->P(P(x))
如果是一阶逻辑谓词则比较麻烦:(用E表示存在,用A表示合取,V表示析取)
P(x,y)表示y是x的妈妈,Q(x,z)表示z是x的外祖母
Ex(Q(x,z)->(P(y,z)AP(x,y))
老祖宗